-- Expected output: false
DEF MAIN:bool == or(false, false)

